biconditional proposition

等值命题